Theoretical computer science - PDFSEARCH.IO - Document Search Engine

Theoretical computer science
Results: 9916

#	Item
241	Classifying Regular Languages by a Split Game Qiqi Yan∗ BASICS Laboratory, Department of Computer Science and Engineering, Shanghai Jiao Tong University, 200240, Shanghai, P.R. China Add to Reading List Source URL: www.qiqiyan.com.s3-website-us-east-1.amazonaws.com Language: English - Date: 2012-07-04 18:28:36 Formal languages Mathematical analysis Mathematics Theoretical computer science Symbol Omega language Constructible universe Regular language Star height Linear temporal logic Differential forms on a Riemann surface
242	Friends with Benefits Implementing Foundational Corecursion in Proof Assistants Jasmin Christian Blanchette Aymeric Bouzy Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2016-07-18 12:57:54 Declarative programming Software engineering Computer programming Functional programming Theoretical computer science Category theory Recursion Type theory Corecursion Symbol Stream Constructible universe
243	D:E_FINAL 3-2010cad04PaginatedFilesd-skundud-skunduproof Add to Reading List Source URL: mesl.ucsd.edu Language: English - Date: 2011-04-30 20:20:23 Formal methods Mathematical logic Algorithm Theoretical computer science Refinement
244	Microsoft Word - AdmissionTestAndSyllabus.doc Add to Reading List Source URL: dottorato.di.uniba.it Language: English - Date: 2013-01-16 15:09:09 Computing Software engineering Science and technology in the United States Turing Award laureates Programming paradigms Alfred Aho Programming language Database John Hopcroft Theoretical computer science Computer science Object-oriented programming
245	ISBNISRN SICS/DSE An Automatic Partial Evaluator for Full Prolog Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:36 Software engineering Computer programming Theoretical computer science Logic programming Logic in computer science Prolog Definite clause grammar Partial evaluation Unification Horn clause Futures and promises
246	To appear in the APA Newsletter on Philosophy and Computers, FallNo. 1, VolWhen Formal Systems Kill: Computer Ethics and Formal Methods Darren Abramson∗ Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2012-02-05 21:11:01 Computing Software engineering Formal methods Technology Theoretical computer science Software quality Software testing Product development Software verification Formal verification Computer science Software development process
247	Genome Informatics 12: 292–Genomic Object Net: Petri Net Enhancement for Multi-Cellular Processes Add to Reading List Source URL: www.jsbi.org Language: English - Date: 2002-01-17 03:51:06 Concurrency Models of computation Petri nets Diagrams Software engineering Petri Theoretical computer science Metaphor
248	The CPS transform from Griffin. Let us first repeat what Herman already showed on the blackboard. The definition of the CPS transform in Griffin is: x = λk. kx λx. M = λk. k (λx. M ) M N = λk. M (λm. N (λn. mnk)) Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-11-28 07:13:57 Computability theory Mathematical logic Theoretical computer science Mathematics Differential topology Orbifold Combinatory logic
249	COURSES IN ENGLISH AT THE FACULTY OF MATHEMATICS AND COMPUTER SCIENCE UNIVERSITY OF LODZ WINTER SEMESTER Add to Reading List Source URL: erasmus.math.uni.lodz.pl Language: English - Date: 2015-10-13 07:15:16 Computing Science and technology Software engineering Algorithm Mathematical logic Theoretical computer science Object-relational database Programming language Computer science Object-oriented programming Artificial neural network Database
250	Microsoft Word - K1_bio.docx Add to Reading List Source URL: www.itng.info Language: English - Date: 2016-04-13 20:28:16 Algorithm Mathematical logic Theoretical computer science Pancake sorting Mathematics

UPDATE